Nuprl Lemma : concat-nil 0,22
concat(nil) ~ nil 
latex

Definitionsconcat(ll)

origin